Blar i forfatter "Van Renesse, Robbert"

Viser treff 1-3 av 3

    • Enforcing Privacy Policies with Meta-Code 

      Johansen, Håvard; Birrell, Eleanor; Van Renesse, Robbert; Schneider, Fred B.; Stenhaug, Magnus; Johansen, Dag (Konferansebidrag; Conference object, 2015)
      This paper proposes a mechanism for expressing and enforcing security policies for shared data. Security policies are expressed as stateful meta-code operations; meta-code can express a broad class of policies, including access-based policies, use-based policies, obligations, and sticky policies with declassification. The meta-code is interposed in the filesystem access path to ensure policy ...

    • Fireflies: A Secure and Scalable Membership and Gossip Service 

      Johansen, Håvard; Van Renesse, Robbert; Vigfusson, Ymir; Johansen, Dag (Journal article; Tidsskriftartikkel; Peer reviewed, 2015-06)
      An attacker who controls a computer in an overlay network can effectively control the entire overlay network if the mechanism managing membership information can successfully be targeted. This article describes Fireflies, an overlay network protocol that fights such attacks by organizing members in a verifiable pseudorandom structure so that an intruder cannot incorrectly modify the membership views ...

    • Trusted Computing on Privacy Sensitive Data with Diggi 

      Gjerdrum, Anders Tungeland; Pettersen, Robert; Johansen, Håvard D.; Van Renesse, Robbert; Johansen, Dag (Conference object; Konferansebidrag, 2017)